#include "debug.h"
#include "print.h"
#include "interrupt.h"

void panic_spain(const char* filename, int line, const char* func, const char* condition){
    /* 关中断 防止中断打印干扰断言信息 */ 
    intr_disable();
    put_str((char*)filename);
    put_char(':');
    put_str((char*)func);
    put_str(" -line:");
    put_int_d(line);
    put_str(" -condition:");
    put_str((char*)condition);
    while(1);
}